base-domain-type(n)
== if n=1  n=2  n=6  n=9 Id
== i; n=3 IdLnkId
== i; n=4 KndId
== i; n=5 KndIdLnk
== i; n=7  n=8 Knd
== else Top fi 

latex

Definitions	Id, x:AB(x), IdLnk, if b t else f fi, p  q, i=j, #$n, Knd, Top
FDL editor aliases	base-domain-type